Provability and Interpretability Logics with Restricted Realizations
نویسندگان
چکیده
منابع مشابه
Provability and Interpretability Logics with Restricted Realizations
The provability logic of a theory T is the set of modal formulas, which under any arithmetical realization are provable in T . We slightly modify this notion by requiring the arithmetical realizations to come from a specified set Γ. We make an analogous modification for interpretability logics. We first studied provability logics with restricted realizations, and show that for various natural c...
متن کاملOn Bimodal Logics of Provability
We investigate the bimodal logics sound and complete under the interpretation of modal operators as the provability predicates in certain natural pairs of arithmetical theories (F’, ?2). Carlson characterized the provability logic for essentially reflexive extensions of theories, i.e. for pairs similar to (PA, ZF). Here we study pairs of theories (F’, %!) such that the gap between F and Q is no...
متن کاملModal Matters for Interpretability Logics
This paper is the first in a series of three related papers on modal methods in interpretability logics and applications. In this first paper the fundaments are laid for later results. These fundaments consist of a thorough treatment of a construction method to obtain modal models. This construction method is used to reprove some known results in the area of interpretability like the modal comp...
متن کاملModal Matters in Interpretability Logics
In this paper we expose a method for building models for interpretability logics. The method can be compared to the method of taking unions of chains in classical model theory. Many applications of the method share a common part. We isolate this common part in a main lemma. Doing so, many of our results become applications of this main lemma. We also briefly describe how our method can be gener...
متن کاملInterpolation Properties for Provability Logics GL and GLP
We study interpolation properties of provability logics. We prove the Lyndon interpolation for GL and the uniform interpolation for GLP. DOI: 10.1134/S0081543811060198 The present paper is concerned with provability logics and their interpolation properties. Recall that the Craig interpolation property for a logic L says that if φ implies ψ, then there is an interpolant, that is, a formula θ co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2012
ISSN: 0029-4527
DOI: 10.1215/00294527-1715653